- 双语例句 更多例句
1、
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
2、
3、
- 相关词组
- hardware trace mode硬件追踪方式
- mixture of trace metals微量金属合剂
- trace out勾画出轮廓;提出;寻踪觅迹;
- horizon trace像地平线
- trace function迹函数;
- graphoglyptid trace雕画迹
- trace constituent痕量构分;
- master trace主跟踪程序
- return trace回描，归迹，回程;回迹;
- trace source跟踪源
- anodal trace离节迹
- blurred trace模糊痕迹
- ground trace地面轨迹
- meandering trace蛇曲形遗迹
- dynamic semantics[计]动态语义学;
- Without a Trace[电影]神不知鬼不觉;
- trace back回忆;溯;
- generative semantics生成语义学
- trace back to追溯到…;
- trace to找出…的所在， 追踪到…;
- 今日热词
- 热门搜索
- bye int.再见;再会;回头见;n.次要的东西;轮空(参赛者无对手而自动进入下一轮比赛)
- market n.集市;市场;交易;行销地;购买的人数;市场经营者;市场总额;v.营销;
- wise adj.充满智慧的;明智的;
- ECM abbr.Electronic Counter Measures 电子对抗措施;
- cowboy n.牛仔;奸商;
- via prep.经由，经过;通过，凭借;
- blow your mind 让你大吃一惊;心醉神迷
- master n.大师，师傅;(男)主人，雇主;（货船的）船长;主宰;（英国）校长，院长;（已故）著名画家，绘画大师;母带;能手;男教师;擅长…者;硕士学位（大学里的中级学位;有控制力的人;（对年龄小而不便称作“先生”的男孩的称谓v.掌握;控制(动物或人);精通
- attain vt.& vi.达到，获得;遂愿;经过努力到达某事物;vt.达到，实现;获得;到达;
- kali n.卡利;氧化钾;苛性钾
- annual adj.每年的;一年的;[植物]一年生的;n.年刊;一年生植物;
- mac n.(用于称呼不知姓名的男子)老兄，老弟，伙计，哥们儿
